111![Symbolic Magnifying Lens Abstraction in Markov Decision Processes Pritam Roy1 David Parker2 Gethin Norman2 Luca de Alfaro1 Computer Engineering Dept, UC Santa Cruz, Santa Cruz, CA, USA 1 Oxford University Computing Labor Symbolic Magnifying Lens Abstraction in Markov Decision Processes Pritam Roy1 David Parker2 Gethin Norman2 Luca de Alfaro1 Computer Engineering Dept, UC Santa Cruz, Santa Cruz, CA, USA 1 Oxford University Computing Labor](https://www.pdfsearch.io/img/fa3065bb713e1d533a62f12f37a3e86a.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2008-07-01 03:47:28
|
---|
112![Die Datenschleuder Das wissenschaftliche Fachblatt für Datenreisende Ein Organ des Chaos Computer Club O2@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@6K W2@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@6K? Die Datenschleuder Das wissenschaftliche Fachblatt für Datenreisende Ein Organ des Chaos Computer Club O2@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@6K W2@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@6K?](https://www.pdfsearch.io/img/5db0e40931976c9cda55f6dc9b8658f2.jpg) | Add to Reading ListSource URL: ds.ccc.deLanguage: German - Date: 2006-03-27 13:05:06
|
---|
113![Decidability Results for Multi-objective Stochastic Games Romain Brenguier and Vojtˇech Forejt Department of Computer Science, University of Oxford, UK Abstract. We study stochastic two-player turn-based games in which Decidability Results for Multi-objective Stochastic Games Romain Brenguier and Vojtˇech Forejt Department of Computer Science, University of Oxford, UK Abstract. We study stochastic two-player turn-based games in which](https://www.pdfsearch.io/img/69741d956ae5b1f1d640ad90cc246ccc.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-07-05 18:17:09
|
---|
114![Which Configuration Option Should I Change? Sai Zhang Michael D. Ernst Department of Computer Science & Engineering Which Configuration Option Should I Change? Sai Zhang Michael D. Ernst Department of Computer Science & Engineering](https://www.pdfsearch.io/img/2b30af1d8e9683f95afdd8b800f7ec53.jpg) | Add to Reading ListSource URL: zhang-sai.github.ioLanguage: English - Date: 2015-05-05 00:58:34
|
---|
115![Understanding Text Pre-Processing for Latent Dirichlet Allocation Alexandra Schofield1 M˚ans Magnusson2 Laure Thompson1 David Mimno3 1 Department of Computer Science, Cornell University, Ithaca, NY {xanda, laurejt}@cs.c Understanding Text Pre-Processing for Latent Dirichlet Allocation Alexandra Schofield1 M˚ans Magnusson2 Laure Thompson1 David Mimno3 1 Department of Computer Science, Cornell University, Ithaca, NY {xanda, laurejt}@cs.c](https://www.pdfsearch.io/img/b4359ac2070d68eb1ab62478393f4671.jpg) | Add to Reading ListSource URL: www.cs.cornell.eduLanguage: English - Date: 2017-07-19 14:45:03
|
---|
116![Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK](https://www.pdfsearch.io/img/3209a03adc6790fbd004e037a8f67288.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2012-07-04 05:45:30
|
---|
117![Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that](https://www.pdfsearch.io/img/d7a89a9473a3fb5ccc7bd37b559f5870.jpg) | Add to Reading ListSource URL: jorgenavas.github.ioLanguage: English - Date: 2018-10-25 12:43:22
|
---|
118![Trust Is in the Eye of the Beholder Dimitri do B. DeFigueiredo, Earl T. Barr and S. Felix Wu∗ Dept. of Computer Science – UC Davis Revision NovemberAbstract Trust Is in the Eye of the Beholder Dimitri do B. DeFigueiredo, Earl T. Barr and S. Felix Wu∗ Dept. of Computer Science – UC Davis Revision NovemberAbstract](https://www.pdfsearch.io/img/1aecf33ce6f86fd91af39761ce540dfa.jpg) | Add to Reading ListSource URL: web.cs.ucdavis.eduLanguage: English - Date: 2009-07-10 13:52:18
|
---|
119![Mixture Density Networks Christopher M. Bishop Neural Computing Research Group Dept. of Computer Science and Applied Mathematics Aston University Mixture Density Networks Christopher M. Bishop Neural Computing Research Group Dept. of Computer Science and Applied Mathematics Aston University](https://www.pdfsearch.io/img/ba2dace5508331200249736a1de689b5.jpg) | Add to Reading ListSource URL: publications.aston.ac.ukLanguage: English - Date: 2017-02-05 19:13:20
|
---|
120![IEEE COMPUTER ARCHITECTURE LETTERS, VOL. 11, NO. 2, JULY-DECEMBERIncluding Variability in Large-Scale Cluster Power Models IEEE COMPUTER ARCHITECTURE LETTERS, VOL. 11, NO. 2, JULY-DECEMBERIncluding Variability in Large-Scale Cluster Power Models](https://www.pdfsearch.io/img/0bd66f2f8bd7dcb96fe1ec0f0b6da3eb.jpg) | Add to Reading ListSource URL: rivoire.cs.sonoma.eduLanguage: English - Date: 2017-05-29 18:44:35
|
---|